1. Assumptions of Grand Logics
Author: by James K. Feibleman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
Classification :
BC71
.
B953
1979
2. Basic laws of arithmetic :
Author: by Gottlob Frege ; translated and edited by Philip A. Ebert & Marcus Rossberg, with Crispin Wright and the advice of Michael Beaney [and nine others] ; appendix by Roy T. Cook.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
BC135
.
F85
3. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
Classification :
QA9
.
A5
B489
2000
4. Computability
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computable functions,Logic, Symbolic and mathematical,Godel's theorem
Classification :
QA
9
.
59
.
E67
2000
5. Computability: computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
Classification :
QA
9
.
59
.
E67
2000
6. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
7. Foundations of Logic and Mathematics
Author: by Yves Nievergelt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
8. Frege, Gottlob
Author:
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
9. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Inconsistent Mathematics
Author: by Chris Mortensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
11. Mathematical Thought :
Author: by Evert W. Beth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
Classification :
QA9
.
B948
1965
12. Mathematics and the natural sciences :
Author: Francis Bailly, Giuseppe Longo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
13. Sentences undecidable in formalized arithmetic
Author:
Library: Library of Economics (Tehran)
Subject: Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
Classification :
BC
135
.
M6
14. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Author: / Andrzej Mostowski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Semantics (Philosophy),Godel's theorem
Classification :
BC
135
.
M6
15. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Author: Mostowski, Andrzej.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
Classification :
QA
9
.
65
.
M68
16. Subsystems of Second Order Arithmetic
Author: by Stephen G. Simpson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
HF1008
.
B978
1999
17. Symbolic logic and the real number system; an introduction to the foundations of number systems
Author: / (by) A.H. Lightstone
Library: Library of College of Science University of Tehran (Tehran)
Subject: Arithmetic -- Foundations,Logic, Symbolic and mathematical
Classification :
QA
255
.
L55
18. The Arché papers on the mathematics of abstraction /
Author: edited by Roy T. Cook.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
Classification :
QA8
.
4
.
A73
2007eb
19. The metaphysics and mathematics of arbitrary objects /
Author: Leon Horsten, University of Bristol
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,Mathematics-- Philosophy.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics),Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics)
Classification :
QA8
.
4
.
H67
2019eb
20. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
Classification :
E-BOOK
